Nuprl Definition : w-null
11,40
postcript
pdf
NullMachine == <
b
,
n
,
s
. inr
,
k
,
v
,
s
.
s
,
k
,
v
,
s
. []>
latex
Definitions
inr
x
,
,
<
a
,
b
>
,
x
.
A
(
x
)
,
[]
FDL editor aliases
w-null
origin
b,n,s. inr 
, k,v,s. s, k,v,s. []> b,n,s. inr , k,v,s. s, k,v,s. []> x.A(x)